তহবিল সংগ্রহ ১৫ সেপ্টেম্বর 2024 – ১লা অক্টোবর 2024 তহবিল সংগ্রহের বিষয়ে
1
Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

সাল:
2010
ভাষা:
english
ফাইল:
PDF, 5.20 MB
0 / 5.0
english, 2010
2
Concrete Semantics with Isabelle/HOL

Concrete Semantics with Isabelle/HOL

সাল:
2017
ভাষা:
english
ফাইল:
PDF, 1.55 MB
0 / 5.0
english, 2017
3
Concrete Semantics: With Isabelle/HOL

Concrete Semantics: With Isabelle/HOL

সাল:
2014
ভাষা:
english
ফাইল:
PDF, 3.97 MB
0 / 0
english, 2014
5
Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

সাল:
2010
ভাষা:
english
ফাইল:
PDF, 5.26 MB
0 / 0
english, 2010